[INFO] cloning repository https://github.com/codekaya/arkworks_rollup
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/codekaya/arkworks_rollup" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcodekaya%2Farkworks_rollup", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcodekaya%2Farkworks_rollup'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 27cb9fb5ef1de3c20210161de2aede82e46d7f33
[INFO] checking codekaya/arkworks_rollup against try#d8be25549d5418405531341b4be6d8538fc3c42e for pr-156160
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fcodekaya%2Farkworks_rollup" "/workspace/builds/worker-2-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-2-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/codekaya/arkworks_rollup
[INFO] finished tweaking git repo https://github.com/codekaya/arkworks_rollup
[INFO] tweaked toml for git repo https://github.com/codekaya/arkworks_rollup written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/codekaya/arkworks_rollup on toolchain d8be25549d5418405531341b4be6d8538fc3c42e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d8be25549d5418405531341b4be6d8538fc3c42e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/codekaya/arkworks_rollup already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d8be25549d5418405531341b4be6d8538fc3c42e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded unicode-ident v1.0.15
[INFO] [stderr]   Downloaded ark-relations v0.4.0
[INFO] [stderr]   Downloaded ark-snark v0.4.0
[INFO] [stderr]   Downloaded ark-std v0.3.0
[INFO] [stderr]   Downloaded semver v1.0.25
[INFO] [stderr]   Downloaded ark-r1cs-std v0.4.0
[INFO] [stderr]   Downloaded ark-ed-on-bls12-381 v0.4.0
[INFO] [stderr]   Downloaded ark-crypto-primitives v0.4.0
[INFO] [stderr]   Downloaded ark-groth16 v0.4.0
[INFO] [stderr]   Downloaded ark-bls12-381 v0.4.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb
[INFO] running `Command { std: "docker" "start" "457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb" "/opt/rustwide/cargo-home/bin/cargo" "+d8be25549d5418405531341b4be6d8538fc3c42e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb" "/opt/rustwide/cargo-home/bin/cargo" "+d8be25549d5418405531341b4be6d8538fc3c42e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.93
[INFO] [stderr]    Compiling unicode-ident v1.0.15
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]     Checking byteorder v1.5.0
[INFO] [stderr]    Compiling libc v0.2.169
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]     Checking either v1.13.0
[INFO] [stderr]     Checking once_cell v1.20.2
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling ahash v0.8.11
[INFO] [stderr]     Checking generic-array v0.14.7
[INFO] [stderr]     Checking crossbeam-epoch v0.9.18
[INFO] [stderr]     Checking tracing-core v0.1.33
[INFO] [stderr]     Checking crossbeam-deque v0.8.6
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]     Checking block-buffer v0.10.4
[INFO] [stderr]     Checking crypto-common v0.1.6
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]     Checking digest v0.10.7
[INFO] [stderr]     Checking rayon v1.10.0
[INFO] [stderr]    Compiling quote v1.0.38
[INFO] [stderr]     Checking sha2 v0.10.8
[INFO] [stderr]     Checking blake2 v0.10.6
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling syn v2.0.96
[INFO] [stderr]     Checking getrandom v0.2.15
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]    Compiling ark-serialize-derive v0.4.2
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-macros v0.4.2
[INFO] [stderr]    Compiling ark-ff-asm v0.4.2
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling zeroize_derive v1.4.2
[INFO] [stderr]    Compiling tracing-attributes v0.1.28
[INFO] [stderr]     Checking zeroize v1.8.1
[INFO] [stderr]     Checking zerocopy v0.7.35
[INFO] [stderr]     Checking tracing v0.1.41
[INFO] [stderr]     Checking ppv-lite86 v0.2.20
[INFO] [stderr]     Checking hashbrown v0.13.2
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.4.0
[INFO] [stderr]     Checking ark-std v0.3.0
[INFO] [stderr]     Checking ark-serialize v0.4.2
[INFO] [stderr]     Checking ark-ff v0.4.2
[INFO] [stderr]     Checking ark-poly v0.4.2
[INFO] [stderr]     Checking ark-relations v0.4.0
[INFO] [stderr]     Checking ark-snark v0.4.0
[INFO] [stderr]     Checking ark-ec v0.4.2
[INFO] [stderr]     Checking ark-r1cs-std v0.4.0
[INFO] [stderr]     Checking ark-bls12-381 v0.4.0
[INFO] [stderr]     Checking ark-ed-on-bls12-381 v0.4.0
[INFO] [stderr]     Checking ark-crypto-primitives v0.4.0
[INFO] [stderr]     Checking ark-groth16 v0.4.0
[INFO] [stderr]     Checking zk-rollup v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved import `ark_crypto_primitives::crh::pedersen::constraints::PedersenCRHGadget`
[INFO] [stdout]  --> src/main.rs:6:16
[INFO] [stdout]   |
[INFO] [stdout] 6 |     pedersen::{constraints::PedersenCRHGadget, CRH, TwoToOneCRH},
[INFO] [stdout]   |                ^^^^^^^^^^^^^-----------------
[INFO] [stdout]   |                             |
[INFO] [stdout]   |                             no `PedersenCRHGadget` in `crh::pedersen::constraints`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_crypto_primitives::crh::pedersen::constraints::PedersenCRHGadget`
[INFO] [stdout]  --> src/hash.rs:2:16
[INFO] [stdout]   |
[INFO] [stdout] 2 |     pedersen::{constraints::PedersenCRHGadget, CRH, TwoToOneCRH, Window},
[INFO] [stdout]   |                ^^^^^^^^^^^^^-----------------
[INFO] [stdout]   |                             |
[INFO] [stdout]   |                             no `PedersenCRHGadget` in `crh::pedersen::constraints`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::PedersenCRHGadget
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_ec::models::twisted_edwards::TEModelParameters`
[INFO] [stdout]  --> src/hash.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_ec::models::twisted_edwards::TEModelParameters;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-----------------
[INFO] [stdout]   |                                      |
[INFO] [stdout]   |                                      no `TEModelParameters` in `models::twisted_edwards`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_ed_on_bls12_381::EdwardsParameters`
[INFO] [stdout]  --> src/hash.rs:6:66
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_ed_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr, EdwardsParameters};
[INFO] [stdout]   |                                                                  ^^^^^^^^^^^^^^^^^ no `EdwardsParameters` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_crypto_primitives::crh::pedersen::Pedersen`
[INFO] [stdout]  --> src/tests.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_crypto_primitives::crh::pedersen::Pedersen;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^--------
[INFO] [stdout]   |                                           |
[INFO] [stdout]   |                                           no `Pedersen` in `crh::pedersen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CRHScheme`, `CRH`, and `TwoToOneCRH`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     CRHScheme,
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 6 |     pedersen::{constraints::PedersenCRHGadget, CRH, TwoToOneCRH},
[INFO] [stdout]   |                                                ^^^  ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Fq as Fr`
[INFO] [stdout]  --> src/hash.rs:6:56
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_ed_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr, EdwardsParameters};
[INFO] [stdout]   |                                                        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ff::UniformRand`
[INFO] [stdout]  --> src/tests.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use ark_ff::UniformRand;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_crypto_primitives::crh::CRHScheme`
[INFO] [stdout]  --> src/tests.rs:7:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use ark_crypto_primitives::crh::CRHScheme;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_crypto_primitives::merkle_tree::MerkleTree`
[INFO] [stdout]  --> src/tests.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use ark_crypto_primitives::merkle_tree::MerkleTree;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_crypto_primitives::crh::pedersen::constraints::PedersenCRHGadget`
[INFO] [stdout]  --> src/main.rs:6:16
[INFO] [stdout]   |
[INFO] [stdout] 6 |     pedersen::{constraints::PedersenCRHGadget, CRH, TwoToOneCRH},
[INFO] [stdout]   |                ^^^^^^^^^^^^^-----------------
[INFO] [stdout]   |                             |
[INFO] [stdout]   |                             no `PedersenCRHGadget` in `crh::pedersen::constraints`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_crypto_primitives::crh::pedersen::constraints::PedersenCRHGadget`
[INFO] [stdout]  --> src/hash.rs:2:16
[INFO] [stdout]   |
[INFO] [stdout] 2 |     pedersen::{constraints::PedersenCRHGadget, CRH, TwoToOneCRH, Window},
[INFO] [stdout]   |                ^^^^^^^^^^^^^-----------------
[INFO] [stdout]   |                             |
[INFO] [stdout]   |                             no `PedersenCRHGadget` in `crh::pedersen::constraints`
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider importing this unresolved item through its public re-export instead:
[INFO] [stdout]           crate::PedersenCRHGadget
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_ec::models::twisted_edwards::TEModelParameters`
[INFO] [stdout]  --> src/hash.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use ark_ec::models::twisted_edwards::TEModelParameters;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^-----------------
[INFO] [stdout]   |                                      |
[INFO] [stdout]   |                                      no `TEModelParameters` in `models::twisted_edwards`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `ark_ed_on_bls12_381::EdwardsParameters`
[INFO] [stdout]  --> src/hash.rs:6:66
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_ed_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr, EdwardsParameters};
[INFO] [stdout]   |                                                                  ^^^^^^^^^^^^^^^^^ no `EdwardsParameters` in the root
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `CRHScheme`, `CRH`, and `TwoToOneCRH`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 |     CRHScheme,
[INFO] [stdout]   |     ^^^^^^^^^
[INFO] [stdout] 6 |     pedersen::{constraints::PedersenCRHGadget, CRH, TwoToOneCRH},
[INFO] [stdout]   |                                                ^^^  ^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `Fq as Fr`
[INFO] [stdout]  --> src/hash.rs:6:56
[INFO] [stdout]   |
[INFO] [stdout] 6 | use ark_ed_on_bls12_381::{EdwardsProjective as JubJub, Fq as Fr, EdwardsParameters};
[INFO] [stdout]   |                                                        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<CRH<..., ...> as CRHScheme>::Input == Fp<..., 4>`
[INFO] [stdout]   --> src/main.rs:25:21
[INFO] [stdout]    |
[INFO] [stdout] 25 |     type LeafHash = LeafHash;
[INFO] [stdout]    |                     ^^^^^^^^ expected `Fp<MontBackend<FrConfig, 4>, 4>`, found `[u8]`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Fp<MontBackend<ark_bls12_381::FrConfig, 4>, 4>`
[INFO] [stdout]                found slice `[u8]`
[INFO] [stdout] note: required by a bound in `ark_crypto_primitives::merkle_tree::Config::LeafHash`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:86:30
[INFO] [stdout]    |
[INFO] [stdout] 86 |     type LeafHash: CRHScheme<Input = Self::Leaf, Output = Self::LeafDigest>;
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^^^^^ required by this bound in `Config::LeafHash`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-14997939637924772754.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/main.rs:26:24
[INFO] [stdout]    |
[INFO] [stdout] 26 |     type InnerDigest = InnerDigest;
[INFO] [stdout]    |                        ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/main.rs:27:25
[INFO] [stdout]    |
[INFO] [stdout] 27 |     type TwoToOneHash = TwoToOneHash;
[INFO] [stdout]    |                         ^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `(): DigestConverter<ark_ec::twisted_edwards::Affine<JubjubConfig>, [u8]>` is not satisfied
[INFO] [stdout]   --> src/main.rs:28:37
[INFO] [stdout]    |
[INFO] [stdout] 28 |     type LeafInnerDigestConverter = ();
[INFO] [stdout]    |                                     ^^ the trait `DigestConverter<ark_ec::twisted_edwards::Affine<JubjubConfig>, [u8]>` is not implemented for `()`
[INFO] [stdout]    |
[INFO] [stdout] help: the following other types implement trait `DigestConverter<From, To>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<T> DigestConverter<T, T> for IdentityDigestConverter<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `IdentityDigestConverter<T>` implements `DigestConverter<T, T>`
[INFO] [stdout] ...
[INFO] [stdout] 42 | impl<T: CanonicalSerialize> DigestConverter<T, [u8]> for ByteDigestConverter<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ByteDigestConverter<T>` implements `DigestConverter<T, [u8]>`
[INFO] [stdout] note: required by a bound in `ark_crypto_primitives::merkle_tree::Config::LeafInnerDigestConverter`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:67:36
[INFO] [stdout]    |
[INFO] [stdout] 67 |       type LeafInnerDigestConverter: DigestConverter<
[INFO] [stdout]    |  ____________________________________^
[INFO] [stdout] 68 | |         Self::LeafDigest,
[INFO] [stdout] 69 | |         <Self::TwoToOneHash as TwoToOneCRHScheme>::Input,
[INFO] [stdout] 70 | |     >;
[INFO] [stdout]    | |_____^ required by this bound in `Config::LeafInnerDigestConverter`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<CRH<..., ...> as CRHScheme>::Input == Fp<..., 4>`
[INFO] [stdout]   --> src/main.rs:25:21
[INFO] [stdout]    |
[INFO] [stdout] 25 |     type LeafHash = LeafHash;
[INFO] [stdout]    |                     ^^^^^^^^ expected `Fp<MontBackend<FrConfig, 4>, 4>`, found `[u8]`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Fp<MontBackend<ark_bls12_381::FrConfig, 4>, 4>`
[INFO] [stdout]                found slice `[u8]`
[INFO] [stdout] note: required by a bound in `ark_crypto_primitives::merkle_tree::Config::LeafHash`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:86:30
[INFO] [stdout]    |
[INFO] [stdout] 86 |     type LeafHash: CRHScheme<Input = Self::Leaf, Output = Self::LeafDigest>;
[INFO] [stdout]    |                              ^^^^^^^^^^^^^^^^^^ required by this bound in `Config::LeafHash`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-10413835616694856895.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/main.rs:26:24
[INFO] [stdout]    |
[INFO] [stdout] 26 |     type InnerDigest = InnerDigest;
[INFO] [stdout]    |                        ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/main.rs:27:25
[INFO] [stdout]    |
[INFO] [stdout] 27 |     type TwoToOneHash = TwoToOneHash;
[INFO] [stdout]    |                         ^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `(): DigestConverter<ark_ec::twisted_edwards::Affine<JubjubConfig>, [u8]>` is not satisfied
[INFO] [stdout]   --> src/main.rs:28:37
[INFO] [stdout]    |
[INFO] [stdout] 28 |     type LeafInnerDigestConverter = ();
[INFO] [stdout]    |                                     ^^ the trait `DigestConverter<ark_ec::twisted_edwards::Affine<JubjubConfig>, [u8]>` is not implemented for `()`
[INFO] [stdout]    |
[INFO] [stdout] help: the following other types implement trait `DigestConverter<From, To>`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:29:1
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<T> DigestConverter<T, T> for IdentityDigestConverter<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `IdentityDigestConverter<T>` implements `DigestConverter<T, T>`
[INFO] [stdout] ...
[INFO] [stdout] 42 | impl<T: CanonicalSerialize> DigestConverter<T, [u8]> for ByteDigestConverter<T> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `ByteDigestConverter<T>` implements `DigestConverter<T, [u8]>`
[INFO] [stdout] note: required by a bound in `ark_crypto_primitives::merkle_tree::Config::LeafInnerDigestConverter`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:67:36
[INFO] [stdout]    |
[INFO] [stdout] 67 |       type LeafInnerDigestConverter: DigestConverter<
[INFO] [stdout]    |  ____________________________________^
[INFO] [stdout] 68 | |         Self::LeafDigest,
[INFO] [stdout] 69 | |         <Self::TwoToOneHash as TwoToOneCRHScheme>::Input,
[INFO] [stdout] 70 | |     >;
[INFO] [stdout]    | |_____^ required by this bound in `Config::LeafInnerDigestConverter`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:128:12
[INFO] [stdout]     |
[INFO] [stdout] 128 |     root: &FpVar<F>,
[INFO] [stdout]     |            ^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 125 | fn verify_merkle_path<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:137:16
[INFO] [stdout]     |
[INFO] [stdout] 137 |     new_leaf: &FpVar<F>,
[INFO] [stdout]     |                ^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 3 arguments but 2 arguments were supplied
[INFO] [stdout]    --> src/state.rs:15:26
[INFO] [stdout]     |
[INFO] [stdout]  15 |             merkle_tree: MerkleTree::new(height, &Vec::new()).unwrap(),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^ ------ argument #1 of type `&_` is missing
[INFO] [stdout]     |
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:239:12
[INFO] [stdout]     |
[INFO] [stdout] 239 |     pub fn new<L: Borrow<P::Leaf>>(
[INFO] [stdout]     |            ^^^
[INFO] [stdout] help: provide the argument
[INFO] [stdout]     |
[INFO] [stdout]  15 -             merkle_tree: MerkleTree::new(height, &Vec::new()).unwrap(),
[INFO] [stdout]  15 +             merkle_tree: MerkleTree::new(/* leaf_hash_param */, &Vec::new(), height).unwrap(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:128:12
[INFO] [stdout]     |
[INFO] [stdout] 128 |     root: &FpVar<F>,
[INFO] [stdout]     |            ^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 125 | fn verify_merkle_path<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:137:16
[INFO] [stdout]     |
[INFO] [stdout] 137 |     new_leaf: &FpVar<F>,
[INFO] [stdout]     |                ^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<TwoToOneCRH<..., ...> as TwoToOneCRHScheme>::Parameters == Vec<_>`
[INFO] [stdout]   --> src/state.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |             merkle_tree: MerkleTree::new(height, &Vec::new()).unwrap(),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Vec<_>`, found `Parameters<Projective<JubjubConfig>>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<_>`
[INFO] [stdout]               found struct `ark_crypto_primitives::crh::pedersen::Parameters<ark_ec::twisted_edwards::Projective<JubjubConfig>>`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-11652551248440577182.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0061]: this function takes 3 arguments but 2 arguments were supplied
[INFO] [stdout]    --> src/state.rs:15:26
[INFO] [stdout]     |
[INFO] [stdout]  15 |             merkle_tree: MerkleTree::new(height, &Vec::new()).unwrap(),
[INFO] [stdout]     |                          ^^^^^^^^^^^^^^^ ------ argument #1 of type `&_` is missing
[INFO] [stdout]     |
[INFO] [stdout] note: associated function defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:239:12
[INFO] [stdout]     |
[INFO] [stdout] 239 |     pub fn new<L: Borrow<P::Leaf>>(
[INFO] [stdout]     |            ^^^
[INFO] [stdout] help: provide the argument
[INFO] [stdout]     |
[INFO] [stdout]  15 -             merkle_tree: MerkleTree::new(height, &Vec::new()).unwrap(),
[INFO] [stdout]  15 +             merkle_tree: MerkleTree::new(/* leaf_hash_param */, &Vec::new(), height).unwrap(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0271]: type mismatch resolving `<TwoToOneCRH<..., ...> as TwoToOneCRHScheme>::Parameters == Vec<_>`
[INFO] [stdout]   --> src/state.rs:15:26
[INFO] [stdout]    |
[INFO] [stdout] 15 |             merkle_tree: MerkleTree::new(height, &Vec::new()).unwrap(),
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Vec<_>`, found `Parameters<Projective<JubjubConfig>>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: expected struct `Vec<_>`
[INFO] [stdout]               found struct `ark_crypto_primitives::crh::pedersen::Parameters<ark_ec::twisted_edwards::Projective<JubjubConfig>>`
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-877289579073454292.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/state.rs:27:40
[INFO] [stdout]     |
[INFO] [stdout]  12 | impl<F: Field> RollupState<F> {
[INFO] [stdout]     |      - found this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  27 |         self.merkle_tree.update(index, &account.balance).unwrap();
[INFO] [stdout]     |                          ------        ^^^^^^^^^^^^^^^^ expected `&Fp<MontBackend<FrConfig, 4>, 4>`, found `&F`
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&Fp<MontBackend<ark_bls12_381::FrConfig, 4>, 4>`
[INFO] [stdout]                found reference `&F`
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:439:12
[INFO] [stdout]     |
[INFO] [stdout] 439 |     pub fn update(&mut self, index: usize, new_leaf: &P::Leaf) -> Result<(), crate::Error> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0308]: mismatched types
[INFO] [stdout]    --> src/state.rs:27:40
[INFO] [stdout]     |
[INFO] [stdout]  12 | impl<F: Field> RollupState<F> {
[INFO] [stdout]     |      - found this type parameter
[INFO] [stdout] ...
[INFO] [stdout]  27 |         self.merkle_tree.update(index, &account.balance).unwrap();
[INFO] [stdout]     |                          ------        ^^^^^^^^^^^^^^^^ expected `&Fp<MontBackend<FrConfig, 4>, 4>`, found `&F`
[INFO] [stdout]     |                          |
[INFO] [stdout]     |                          arguments to this method are incorrect
[INFO] [stdout]     |
[INFO] [stdout]     = note: expected reference `&Fp<MontBackend<ark_bls12_381::FrConfig, 4>, 4>`
[INFO] [stdout]                found reference `&F`
[INFO] [stdout] note: method defined here
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/merkle_tree/mod.rs:439:12
[INFO] [stdout]     |
[INFO] [stdout] 439 |     pub fn update(&mut self, index: usize, new_leaf: &P::Leaf) -> Result<(), crate::Error> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `root` exists for struct `MerkleTree<MyMerkleConfig>`, but its trait bounds were not satisfied
[INFO] [stdout]    --> src/state.rs:35:26
[INFO] [stdout]     |
[INFO] [stdout]  35 |         self.merkle_tree.root()
[INFO] [stdout]     |                          ^^^^ method cannot be called on `MerkleTree<MyMerkleConfig>` due to unsatisfied trait bounds
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/crh/pedersen/mod.rs:129:1
[INFO] [stdout]     |
[INFO] [stdout] 129 | pub struct TwoToOneCRH<C: CurveGroup, W: Window> {
[INFO] [stdout]     | ------------------------------------------------ doesn't satisfy `_: CRHScheme`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the following trait bounds were not satisfied:
[INFO] [stdout]             `ark_crypto_primitives::crh::pedersen::TwoToOneCRH<ark_ec::twisted_edwards::Projective<JubjubConfig>, Window4x256>: CRHScheme`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `root` exists for struct `MerkleTree<MyMerkleConfig>`, but its trait bounds were not satisfied
[INFO] [stdout]    --> src/state.rs:35:26
[INFO] [stdout]     |
[INFO] [stdout]  35 |         self.merkle_tree.root()
[INFO] [stdout]     |                          ^^^^ method cannot be called on `MerkleTree<MyMerkleConfig>` due to unsatisfied trait bounds
[INFO] [stdout]     |
[INFO] [stdout]    ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-crypto-primitives-0.4.0/src/crh/pedersen/mod.rs:129:1
[INFO] [stdout]     |
[INFO] [stdout] 129 | pub struct TwoToOneCRH<C: CurveGroup, W: Window> {
[INFO] [stdout]     | ------------------------------------------------ doesn't satisfy `_: CRHScheme`
[INFO] [stdout]     |
[INFO] [stdout]     = note: the following trait bounds were not satisfied:
[INFO] [stdout]             `ark_crypto_primitives::crh::pedersen::TwoToOneCRH<ark_ec::twisted_edwards::Projective<JubjubConfig>, Window4x256>: CRHScheme`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let old_root_var = FpVar::new_input(cs.clone(), || Ok(self.old_root))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let old_root_var = FpVar::new_input(cs.clone(), || Ok(self.old_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let old_root_var = FpVar::new_input(cs.clone(), || Ok(self.old_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:60:28
[INFO] [stdout]    |
[INFO] [stdout] 60 |         let new_root_var = FpVar::new_input(cs.clone(), || Ok(self.new_root))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:60:28
[INFO] [stdout]    |
[INFO] [stdout] 60 |         let new_root_var = FpVar::new_input(cs.clone(), || Ok(self.new_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:60:28
[INFO] [stdout]    |
[INFO] [stdout] 60 |         let new_root_var = FpVar::new_input(cs.clone(), || Ok(self.new_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let old_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.old_leaf))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let old_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.old_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let old_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.old_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:63:28
[INFO] [stdout]    |
[INFO] [stdout] 63 |         let new_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.new_leaf))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:63:28
[INFO] [stdout]    |
[INFO] [stdout] 63 |         let new_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.new_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:63:28
[INFO] [stdout]    |
[INFO] [stdout] 63 |         let new_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.new_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let tx_amount_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction_amount))?;
[INFO] [stdout]    |                             ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let tx_amount_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction_amount))?;
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let tx_amount_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction_amount))?;
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:69:13
[INFO] [stdout]    |
[INFO] [stdout] 69 |             &old_root_var, 
[INFO] [stdout]    |             ^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot subtract `&FpVar<F>` from `FpVar<F>`
[INFO] [stdout]   --> src/main.rs:74:46
[INFO] [stdout]    |
[INFO] [stdout] 74 |         let computed_new_leaf = old_leaf_var - &tx_amount_var; 
[INFO] [stdout]    |                                 ------------ ^ -------------- &FpVar<F>
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 FpVar<F>
[INFO] [stdout]    |
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             &new_leaf_var
[INFO] [stdout]    |             ^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:77:33
[INFO] [stdout]    |
[INFO] [stdout] 77 |           let computed_new_root = update_merkle_root::<F, MyMerkleConfig>(
[INFO] [stdout]    |  _________________________________^
[INFO] [stdout] 78 | |             cs.clone(),
[INFO] [stdout] 79 | |             &self.merkle_path,
[INFO] [stdout] 80 | |             &new_leaf_var
[INFO] [stdout] 81 | |         )?;
[INFO] [stdout]    | |_________^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:77:33
[INFO] [stdout]    |
[INFO] [stdout] 77 |           let computed_new_root = update_merkle_root::<F, MyMerkleConfig>(
[INFO] [stdout]    |  _________________________________^
[INFO] [stdout] 78 | |             cs.clone(),
[INFO] [stdout] 79 | |             &self.merkle_path,
[INFO] [stdout] 80 | |             &new_leaf_var
[INFO] [stdout] 81 | |         )?;
[INFO] [stdout]    | |__________^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let old_root_var = FpVar::new_input(cs.clone(), || Ok(self.old_root))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let old_root_var = FpVar::new_input(cs.clone(), || Ok(self.old_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:59:28
[INFO] [stdout]    |
[INFO] [stdout] 59 |         let old_root_var = FpVar::new_input(cs.clone(), || Ok(self.old_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:60:28
[INFO] [stdout]    |
[INFO] [stdout] 60 |         let new_root_var = FpVar::new_input(cs.clone(), || Ok(self.new_root))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:60:28
[INFO] [stdout]    |
[INFO] [stdout] 60 |         let new_root_var = FpVar::new_input(cs.clone(), || Ok(self.new_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:60:28
[INFO] [stdout]    |
[INFO] [stdout] 60 |         let new_root_var = FpVar::new_input(cs.clone(), || Ok(self.new_root))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let old_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.old_leaf))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let old_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.old_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |         let old_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.old_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:63:28
[INFO] [stdout]    |
[INFO] [stdout] 63 |         let new_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.new_leaf))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:63:28
[INFO] [stdout]    |
[INFO] [stdout] 63 |         let new_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.new_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:63:28
[INFO] [stdout]    |
[INFO] [stdout] 63 |         let new_leaf_var = FpVar::new_witness(cs.clone(), || Ok(self.new_leaf))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let tx_amount_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction_amount))?;
[INFO] [stdout]    |                             ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let tx_amount_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction_amount))?;
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:64:29
[INFO] [stdout]    |
[INFO] [stdout] 64 |         let tx_amount_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction_amount))?;
[INFO] [stdout]    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:69:13
[INFO] [stdout]    |
[INFO] [stdout] 69 |             &old_root_var, 
[INFO] [stdout]    |             ^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `enforce_equal` exists for enum `FpVar<F>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:82:27
[INFO] [stdout]    |
[INFO] [stdout] 82 |         computed_new_root.enforce_equal(&new_root_var)?;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^ method cannot be called on `FpVar<F>` due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:1
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    | ----------------------------- doesn't satisfy `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `F: PrimeField`
[INFO] [stdout]            which is required by `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0369]: cannot subtract `&FpVar<F>` from `FpVar<F>`
[INFO] [stdout]   --> src/main.rs:74:46
[INFO] [stdout]    |
[INFO] [stdout] 74 |         let computed_new_leaf = old_leaf_var - &tx_amount_var; 
[INFO] [stdout]    |                                 ------------ ^ -------------- &FpVar<F>
[INFO] [stdout]    |                                 |
[INFO] [stdout]    |                                 FpVar<F>
[INFO] [stdout]    |
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:80:13
[INFO] [stdout]    |
[INFO] [stdout] 80 |             &new_leaf_var
[INFO] [stdout]    |             ^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:84:33
[INFO] [stdout]    |
[INFO] [stdout] 84 |         let account_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.nonce))?;
[INFO] [stdout]    |                                 ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:84:33
[INFO] [stdout]    |
[INFO] [stdout] 84 |         let account_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.nonce))?;
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:84:33
[INFO] [stdout]    |
[INFO] [stdout] 84 |         let account_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.nonce))?;
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:77:33
[INFO] [stdout]    |
[INFO] [stdout] 77 |           let computed_new_root = update_merkle_root::<F, MyMerkleConfig>(
[INFO] [stdout]    |  _________________________________^
[INFO] [stdout] 78 | |             cs.clone(),
[INFO] [stdout] 79 | |             &self.merkle_path,
[INFO] [stdout] 80 | |             &new_leaf_var
[INFO] [stdout] 81 | |         )?;
[INFO] [stdout]    | |_________^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:77:33
[INFO] [stdout]    |
[INFO] [stdout] 77 |           let computed_new_root = update_merkle_root::<F, MyMerkleConfig>(
[INFO] [stdout]    |  _________________________________^
[INFO] [stdout] 78 | |             cs.clone(),
[INFO] [stdout] 79 | |             &self.merkle_path,
[INFO] [stdout] 80 | |             &new_leaf_var
[INFO] [stdout] 81 | |         )?;
[INFO] [stdout]    | |__________^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:85:28
[INFO] [stdout]    |
[INFO] [stdout] 85 |         let tx_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction.nonce))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:85:28
[INFO] [stdout]    |
[INFO] [stdout] 85 |         let tx_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction.nonce))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:85:28
[INFO] [stdout]    |
[INFO] [stdout] 85 |         let tx_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction.nonce))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `enforce_equal` exists for enum `FpVar<F>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:86:27
[INFO] [stdout]    |
[INFO] [stdout] 86 |         account_nonce_var.enforce_equal(&tx_nonce_var)?;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^ method cannot be called on `FpVar<F>` due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:1
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    | ----------------------------- doesn't satisfy `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `F: PrimeField`
[INFO] [stdout]            which is required by `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:88:34
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let sender_balance_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.balance))?;
[INFO] [stdout]    |                                  ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `enforce_equal` exists for enum `FpVar<F>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:82:27
[INFO] [stdout]    |
[INFO] [stdout] 82 |         computed_new_root.enforce_equal(&new_root_var)?;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^ method cannot be called on `FpVar<F>` due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:1
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    | ----------------------------- doesn't satisfy `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `F: PrimeField`
[INFO] [stdout]            which is required by `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:88:34
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let sender_balance_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.balance))?;
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:84:33
[INFO] [stdout]    |
[INFO] [stdout] 84 |         let account_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.nonce))?;
[INFO] [stdout]    |                                 ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:88:34
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let sender_balance_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.balance))?;
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:84:33
[INFO] [stdout]    |
[INFO] [stdout] 84 |         let account_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.nonce))?;
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:84:33
[INFO] [stdout]    |
[INFO] [stdout] 84 |         let account_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.nonce))?;
[INFO] [stdout]    |                                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:85:28
[INFO] [stdout]    |
[INFO] [stdout] 85 |         let tx_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction.nonce))?;
[INFO] [stdout]    |                            ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:85:28
[INFO] [stdout]    |
[INFO] [stdout] 85 |         let tx_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction.nonce))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:85:28
[INFO] [stdout]    |
[INFO] [stdout] 85 |         let tx_nonce_var = FpVar::new_witness(cs.clone(), || Ok(self.transaction.nonce))?;
[INFO] [stdout]    |                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `enforce_cmp` exists for enum `FpVar<F>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:89:28
[INFO] [stdout]    |
[INFO] [stdout] 89 |         sender_balance_var.enforce_cmp(&tx_amount_var, std::cmp::Ordering::Greater)?;
[INFO] [stdout]    |                            ^^^^^^^^^^^ method cannot be called on `FpVar<F>` due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `F: PrimeField`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:8
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |        ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `FpVar<F>` to implement `ark_r1cs_std::fields::FieldVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:8
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:5
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |     ^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:5
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `enforce_equal` exists for enum `FpVar<F>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:86:27
[INFO] [stdout]    |
[INFO] [stdout] 86 |         account_nonce_var.enforce_equal(&tx_nonce_var)?;
[INFO] [stdout]    |                           ^^^^^^^^^^^^^ method cannot be called on `FpVar<F>` due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:1
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    | ----------------------------- doesn't satisfy `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `F: PrimeField`
[INFO] [stdout]            which is required by `FpVar<F>: ark_r1cs_std::eq::EqGadget<F>`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:88:34
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let sender_balance_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.balance))?;
[INFO] [stdout]    |                                  ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout]    = note: required for `FpVar<F>` to implement `ark_r1cs_std::alloc::AllocVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:88:34
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let sender_balance_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.balance))?;
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]   --> src/main.rs:88:34
[INFO] [stdout]    |
[INFO] [stdout] 88 |         let sender_balance_var = FpVar::new_witness(cs.clone(), || Ok(self.from_account.balance))?;
[INFO] [stdout]    |                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]   --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]    |
[INFO] [stdout] 44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]    |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]    |
[INFO] [stdout] 57 | impl<F: Field + ark_ff::PrimeField> ConstraintSynthesizer<F> for RollupCircuit<F> {
[INFO] [stdout]    |               ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]  --> src/state.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[derive(Clone)]
[INFO] [stdout]   |          ^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]   |
[INFO] [stdout]   = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]             CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]             PedersenCRHCompressor<C, I, W>
[INFO] [stdout]             ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]             ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]             ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]   = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]   = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]  --> src/state.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[derive(Clone)]
[INFO] [stdout]   |          ----- in this derive macro expansion
[INFO] [stdout] 7 | pub struct RollupState<F: Field> {
[INFO] [stdout] 8 |     pub merkle_tree: MerkleTree<MyMerkleConfig>,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]   |
[INFO] [stdout]   = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]             CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]             PedersenCRHCompressor<C, I, W>
[INFO] [stdout]             ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]             ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]             ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]   = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]   = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/state.rs:30:52
[INFO] [stdout]    |
[INFO] [stdout] 30 |     pub fn get_merkle_path(&self, index: usize) -> Path<MyMerkleConfig> {
[INFO] [stdout]    |                                                    ^^^^^^^^^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: the method `enforce_cmp` exists for enum `FpVar<F>`, but its trait bounds were not satisfied
[INFO] [stdout]   --> src/main.rs:89:28
[INFO] [stdout]    |
[INFO] [stdout] 89 |         sender_balance_var.enforce_cmp(&tx_amount_var, std::cmp::Ordering::Greater)?;
[INFO] [stdout]    |                            ^^^^^^^^^^^ method cannot be called on `FpVar<F>` due to unsatisfied trait bounds
[INFO] [stdout]    |
[INFO] [stdout]    = note: the following trait bounds were not satisfied:
[INFO] [stdout]            `F: PrimeField`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:102:10
[INFO] [stdout]     |
[INFO] [stdout] 102 |     ) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |         merkle_path: Path<MyMerkleConfig>,
[INFO] [stdout]     |         ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:8
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |        ^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout]     = note: required for `FpVar<F>` to implement `ark_r1cs_std::fields::FieldVar<F, F>`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:111:12
[INFO] [stdout]     |
[INFO] [stdout] 111 |           Ok(Self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 112 | |             old_root,
[INFO] [stdout] 113 | |             new_root: F::zero(),
[INFO] [stdout] 114 | |             merkle_path,
[INFO] [stdout] ...   |
[INFO] [stdout] 120 | |             transaction,
[INFO] [stdout] 121 | |         })
[INFO] [stdout]     | |_________^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:8
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:5
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |     ^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `F: PrimeField` is not satisfied
[INFO] [stdout]    --> src/main.rs:139:5
[INFO] [stdout]     |
[INFO] [stdout] 139 |     Ok(FpVar::constant(F::zero()))
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `PrimeField` is not implemented for `F`
[INFO] [stdout]     |
[INFO] [stdout] note: required by a bound in `FpVar`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/ark-r1cs-std-0.4.0/src/fields/fp/mod.rs:44:19
[INFO] [stdout]     |
[INFO] [stdout]  44 | pub enum FpVar<F: PrimeField> {
[INFO] [stdout]     |                   ^^^^^^^^^^ required by this bound in `FpVar`
[INFO] [stdout] help: consider further restricting type parameter `F` with trait `PrimeField`
[INFO] [stdout]     |
[INFO] [stdout] 134 | fn update_merkle_root<F: Field + ark_ff::PrimeField, C: MerkleConfig>(
[INFO] [stdout]     |                                ++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]    --> src/main.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     cs: ConstraintSystemRef<F>,
[INFO] [stdout]     |     ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `path`
[INFO] [stdout]    --> src/main.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     path: &Path<C>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]    --> src/main.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     root: &FpVar<F>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `leaf`
[INFO] [stdout]    --> src/main.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     leaf: &FpVar<F>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_leaf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]  --> src/state.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[derive(Clone)]
[INFO] [stdout]   |          ^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]   |
[INFO] [stdout]   = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]             CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]             PedersenCRHCompressor<C, I, W>
[INFO] [stdout]             ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]             ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]             ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]   = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]   = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:144:9
[INFO] [stdout]     |
[INFO] [stdout] 144 |     let mut state = RollupState::<Fr>::new(32); // 32 levels deep Merkle tree
[INFO] [stdout]     |         ^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let merkle_path = state.get_merkle_path(transaction.from);
[INFO] [stdout]     |         ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]  --> src/state.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[derive(Clone)]
[INFO] [stdout]   |          ----- in this derive macro expansion
[INFO] [stdout] 7 | pub struct RollupState<F: Field> {
[INFO] [stdout] 8 |     pub merkle_tree: MerkleTree<MyMerkleConfig>,
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]   |
[INFO] [stdout]   = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]             CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]             PedersenCRHCompressor<C, I, W>
[INFO] [stdout]             ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]             ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]             ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]   = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]   = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |         ^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/state.rs:30:52
[INFO] [stdout]    |
[INFO] [stdout] 30 |     pub fn get_merkle_path(&self, index: usize) -> Path<MyMerkleConfig> {
[INFO] [stdout]    |                                                    ^^^^^^^^^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:172:19
[INFO] [stdout]     |
[INFO] [stdout] 172 |       let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |  ___________________^
[INFO] [stdout] 173 | |         account1,
[INFO] [stdout] 174 | |         account2,
[INFO] [stdout] 175 | |         transaction,
[INFO] [stdout] 176 | |         merkle_path,
[INFO] [stdout] 177 | |         old_root,
[INFO] [stdout] 178 | |     ).unwrap();
[INFO] [stdout]     | |_____^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c4344a52b2df3746.long-type-765662254810728246.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `circuit`
[INFO] [stdout]    --> src/main.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_circuit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/tests.rs:23:9
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let mut state = RollupState::<Fr>::new(32);
[INFO] [stdout]    |         ^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/tests.rs:44:9
[INFO] [stdout]    |
[INFO] [stdout] 44 |     let mut state = RollupState::<Fr>::new(32);
[INFO] [stdout]    |         ^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/tests.rs:69:9
[INFO] [stdout]    |
[INFO] [stdout] 69 |     let merkle_path = state.get_merkle_path(transaction.from);
[INFO] [stdout]    |         ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/tests.rs:73:9
[INFO] [stdout]    |
[INFO] [stdout] 73 |     let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]    |         ^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0271, E0277, E0308, E0369, E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/tests.rs:73:19
[INFO] [stdout]    |
[INFO] [stdout] 73 |       let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]    |  ___________________^
[INFO] [stdout] 74 | |         account1,
[INFO] [stdout] 75 | |         account2,
[INFO] [stdout] 76 | |         transaction,
[INFO] [stdout] 77 | |         merkle_path,
[INFO] [stdout] 78 | |         old_root,
[INFO] [stdout] 79 | |     ).unwrap();
[INFO] [stdout]    | |_____^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]   --> src/tests.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let mut rng = thread_rng();
[INFO] [stdout]    |         ----^^^
[INFO] [stdout]    |         |
[INFO] [stdout]    |         help: remove this `mut`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `rng`
[INFO] [stdout]   --> src/tests.rs:41:9
[INFO] [stdout]    |
[INFO] [stdout] 41 |     let mut rng = thread_rng();
[INFO] [stdout]    |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_rng`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]   --> src/tests.rs:92:9
[INFO] [stdout]    |
[INFO] [stdout] 92 |     let mut state = RollupState::<Fr>::new(32);
[INFO] [stdout]    |         ^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]    |
[INFO] [stdout]    = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]              CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]              PedersenCRHCompressor<C, I, W>
[INFO] [stdout]              ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]              ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]              ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]    = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]    = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/tests.rs:115:9
[INFO] [stdout]     |
[INFO] [stdout] 115 |     let merkle_path = state.get_merkle_path(transaction.from);
[INFO] [stdout]     |         ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/tests.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 119 |     let result = RollupCircuit::process_transaction(
[INFO] [stdout]     |         ^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/tests.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mut state = RollupState::<Fr>::new(32);
[INFO] [stdout]     |         ^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/tests.rs:166:13
[INFO] [stdout]     |
[INFO] [stdout] 166 |         let merkle_path = state.get_merkle_path(tx.from);
[INFO] [stdout]     |             ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/tests.rs:169:13
[INFO] [stdout]     |
[INFO] [stdout] 169 |         let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |             ^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/tests.rs:169:23
[INFO] [stdout]     |
[INFO] [stdout] 169 |           let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |  _______________________^
[INFO] [stdout] 170 | |             from_account.clone(),
[INFO] [stdout] 171 | |             to_account.clone(),
[INFO] [stdout] 172 | |             tx.clone(),
[INFO] [stdout] 173 | |             merkle_path,
[INFO] [stdout] 174 | |             old_root,
[INFO] [stdout] 175 | |         ).unwrap();
[INFO] [stdout]     | |_________^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:102:10
[INFO] [stdout]     |
[INFO] [stdout] 102 |     ) -> Result<Self, SynthesisError> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `zk-rollup` (bin "zk-rollup") due to 60 previous errors; 7 warnings emitted
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:100:9
[INFO] [stdout]     |
[INFO] [stdout] 100 |         merkle_path: Path<MyMerkleConfig>,
[INFO] [stdout]     |         ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:111:12
[INFO] [stdout]     |
[INFO] [stdout] 111 |           Ok(Self {
[INFO] [stdout]     |  ____________^
[INFO] [stdout] 112 | |             old_root,
[INFO] [stdout] 113 | |             new_root: F::zero(),
[INFO] [stdout] 114 | |             merkle_path,
[INFO] [stdout] ...   |
[INFO] [stdout] 120 | |             transaction,
[INFO] [stdout] 121 | |         })
[INFO] [stdout]     | |_________^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `cs`
[INFO] [stdout]    --> src/main.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     cs: ConstraintSystemRef<F>,
[INFO] [stdout]     |     ^^ help: if this is intentional, prefix it with an underscore: `_cs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `path`
[INFO] [stdout]    --> src/main.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     path: &Path<C>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_path`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `root`
[INFO] [stdout]    --> src/main.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     root: &FpVar<F>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_root`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `leaf`
[INFO] [stdout]    --> src/main.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     leaf: &FpVar<F>,
[INFO] [stdout]     |     ^^^^ help: if this is intentional, prefix it with an underscore: `_leaf`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:144:9
[INFO] [stdout]     |
[INFO] [stdout] 144 |     let mut state = RollupState::<Fr>::new(32); // 32 levels deep Merkle tree
[INFO] [stdout]     |         ^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let merkle_path = state.get_merkle_path(transaction.from);
[INFO] [stdout]     |         ^^^^^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |         ^^^^^^^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>: CRHScheme` is not satisfied
[INFO] [stdout]    --> src/main.rs:172:19
[INFO] [stdout]     |
[INFO] [stdout] 172 |       let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |  ___________________^
[INFO] [stdout] 173 | |         account1,
[INFO] [stdout] 174 | |         account2,
[INFO] [stdout] 175 | |         transaction,
[INFO] [stdout] 176 | |         merkle_path,
[INFO] [stdout] 177 | |         old_root,
[INFO] [stdout] 178 | |     ).unwrap();
[INFO] [stdout]     | |_____^ the trait `CRHScheme` is not implemented for `TwoToOneCRH<Projective<JubjubConfig>, Window4x256>`
[INFO] [stdout]     |
[INFO] [stdout]     = help: the following other types implement trait `CRHScheme`:
[INFO] [stdout]               CoreWrapper<CtVariableCoreWrapper<Sha256VarCore, UInt<..., ...>, ...>>
[INFO] [stdout]               PedersenCRHCompressor<C, I, W>
[INFO] [stdout]               ark_crypto_primitives::crh::bowe_hopwood::CRH<P, W>
[INFO] [stdout]               ark_crypto_primitives::crh::pedersen::CRH<C, W>
[INFO] [stdout]               ark_crypto_primitives::crh::poseidon::CRH<F>
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/zk_rollup-c2bb1b9dfdba1f59.long-type-10024107804163371710.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `circuit`
[INFO] [stdout]    --> src/main.rs:172:9
[INFO] [stdout]     |
[INFO] [stdout] 172 |     let circuit = RollupCircuit::process_transaction(
[INFO] [stdout]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_circuit`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0061, E0271, E0277, E0308, E0369, E0432, E0599.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0061`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `zk-rollup` (bin "zk-rollup" test) due to 73 previous errors; 12 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb", kill_on_drop: false }`
[INFO] [stdout] 457ff11b17f5cdbfbacf92b0cd293210e0e357b5f74f3d4dc731cd8b09d727bb
